在初中,我们关注的是“变量”随“变量”的变化。然而,Leibniz 最初采用“函数”表示随曲线变化的几何量(坐标、切线等);Euler 将其定义为变量间的依赖关系;直到 Dirichlet 提出:如果对于 $x$ 的每一个值,$y$ 总有一个完全确定的值与之对应,那么 $y$ 是 $x$ 的函数。这一跨越标志着函数进入了“对应关系”的时代。
思考:比较函数的初中定义与集合定义,你对函数有什么新的认识?
函数的一致性判定: 判定两个函数是否为“同一个函数”,必须同时满足:定义域一致 且 对应关系一致。变量使用的字母(如 $x$ 或 $t$)不影响函数本质。
$$f: A \to B (三要素:定义域 A、值域 C \subseteq B、对应关系 f)$$